| 1. | It is clear that achieving 100 % statement coverage does not ensure a correct program
代码覆盖有多种，语句覆盖是最基本的，条件判断覆盖会强一些。 |
| 2. | An efficient evaluation and vector generation method for observability - enhanced statement coverage
基于可观测性语句覆盖准则的评估分析与激励生成方法 |
| 3. | There are types of coverage that point more directly to design mistakes than statement coverage does ( branch coverage , for example )
还有几类覆盖率，比语句覆盖率更直接地指向设计错误（例如分支覆盖率） 。 |
| 4. | 19 farzan fallah , pranav ashar , srinivas devadas . simulation vector generation from hdl descriptions for observability - enhanced statement coverage
本文以可观测性语句覆盖评估准则为例，提出了计算可观测性语句覆盖率的方法。 |
| 5. | Codetest also provides statement coverage measurements and produces documentation to validate that every statement in the program has been invoked at least once
还提供语句覆盖测量，并生成验证程序中每条语句至少被调用一次的文件。 |
| 6. | You can measure code coverage in several ways : by assessing line or statement coverage , condition coverage , branch coverage , and so on
您可以通过许多方法来测量代码覆盖率：通过评估代码行或语句的覆盖面、条件覆盖面、分支覆盖面等等。 |
| 7. | The mcdc , decision and statement coverage tools accurately collect live , in - circuit program measurements , analyze test history at a number of levels of granularity and generate specific reports to document both the process and the results
、决策及语句覆盖工具准确收集运行中的在线程序测量，以多种间隔等级分析测试历史，并生成记录过程和结果的特定报告。 |
| 8. | Many problems in software testing , such as statement coverage and patl1 coverage , can be reduced to tlle path - wise test data generating problem , which will be referred to as problem q in this thesis and can be described ast given a program p and a path w in p , let the input space of p be d , compute x e d , such that when p executes on x , path w wiil be traversed
软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题在本文中简称为问题2 ，可以描述为：给定一个程序p和p中一条路径w ，设p的输入空间为d ，求( ? ) d ，使得p以( |
| 9. | Basic black - box testing and white - box testing are successfully carried out . in white - box testing , the statement coverage and branch coverage are achieved ; static analysis and dynamic analysis are also implemented . the static analysis mainly used to generate flow graph while the dynamic analysis serves program instrument , technique realization object , subprogram and the detailed coverage and the calculation of operation time of the documents
原型系统实现了基本的黑盒和白盒测试,其中白盒测试实现了语句和分支覆盖;实现了汇编测试的静态分析和动态分析,静态分析主要是生成程序的流程图,动态分析主要是利用程序插桩技术实现语句和分支覆盖率及在多个测试用例驱动下的综合覆盖率的计算和运行时间及内存使用情况的统计。 |
| 10. | This method is more computationally efficient than prior efforts to assess observability and it could be integrated into compilers and simulators easily . a new simulation vector generation procedure involving the observability - enhanced statement coverage metric is developed . the method is simulation - based and driven by the distribution of unobserved statements
可观测性语句覆盖率并不像传统的语句覆盖率那样过于乐观，它不仅评估代码是否被执行，而且检验被激励激活的那些潜在错误的影响是否可以传播到观测点，该准则可以更确切地评估验证的力度。 |
